"c:\Program Files\The VDM++ Toolbox Academic v8.1.1b\bin\vppde.exe" -p -R vdm.tc DateUtil.vpp Adserver.vpp Test1.vpp
"c:\Program Files\The VDM++ Toolbox Academic v8.1.1b\bin\vppde.exe" -iDIPQ -R vdm.tc test1.arg DateUtil.vpp Adserver.vpp Test1.vpp
"c:\Program Files\The VDM++ Toolbox Academic v8.1.1b\bin\vppde.exe" -lr Adserver.vpp DateUtil.vpp
move Adserver.vpp.tex relatorio
move DateUtil.vpp.tex relatorio